Accueil Publimath  Aide à la recherche  Requête : Gödel Kurt
Certification IDDN Valid HTML 4.01 Transitional

  dans Afficher les fiches par  
65 fiches trouvées Debut Precedent Reponses 61 à 65

611976 Histoire et philosophie des sciences : Etude épistémologique et historique des idées de nombre, de mesure et de continu. T. 1.Ressource en ligne
621971 Eléments de logique pour servir à l'enseignement mathématique.Ressource en ligne
631962 Bulletin de l'APMEP. N° 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
641962 Lecture commentée d'une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.Ressource en ligne
651961 Bulletin de l'APMEP. N° 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.